\subsection{Módulos}
\tableofcontents[currentsection, currentsubsection]
\begin{frame}
\frametitle{Módulos}

\begin{figure}[h!]
  \centering
    \includegraphics[width=\textwidth]{umlmodulos}    
    %\caption{Diagrama UML de los módulos que componen el sistema y sus dependencias.}
    \label{fig:umlmodulos}
\end{figure}

\begin{itemize}
 \item \emph{SQL\_parser}: realiza el análisis de las sentencias de definición de tablas y vistas SQL y genera una estructura C++
 que las representa.
 \item \emph{SQL\_cpp\_representation}: Define los componentes necesarios para que el parser cree la estructura C++ de tablas
 y vistas SQL.
 \item \emph{Formula\_representation}: Da soporte para la representación de fórmulas de restricciones y su generación.
 \item \emph{MiniZinc}: Módulo que traduce a lenguaje MiniZinc nuestra representación de las restricciones.
\end{itemize}

\end{frame}

\subsection{Pipeline}
\tableofcontents[currentsection, currentsubsection]
\begin{frame}
\frametitle{Pipeline}

\begin{itemize}
 \item Ejecución en \emph{pipeline}.
\end{itemize}
 
\begin{figure}[h!]
  \centering
    \includegraphics[width=1.00\textwidth]{pipeline1}
    %\caption{Pipeline del prototipo (primera parte).}
    \label{fig:pipeline}
\end{figure}

\begin{figure}[h!]
  \centering
    \includegraphics[width=1.00\textwidth]{pipeline2}
    %\caption{Pipeline del prototipo (segunda parte).}
    \label{fig:pipeline2}
\end{figure}

\end{frame}

